Instance Verification Kit (IVK)
spin lock @ [20761+37+/linux-3.18-rc1/drivers/usb/dwc3/core.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__dwc3_gadget_ep_disable
[14579+24+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_cleanup_done_reqs
[45231+22+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_endpoint_interrupt
[47345+23+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_endpoint_transfer_complete
[46490+31+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_ep0_complete_data
[18559+22+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_complete_status
[19954+24+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_inspect_setup
[17727+22+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_interrupt
[25207+18+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_stall_and_restart
[6919+26+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_xfer_complete
[20750+22+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_ep0_xfernotready
[23990+21+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_gadget_conndone_interrupt
[54616+30+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep0_set_halt
[7459+24+/linux-3.18-rc1/drivers/usb/dwc3/ep0.c]
dwc3_gadget_ep_dequeue
[29092+22+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep_disable
[16670+22+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_ep_set_wedge
[31173+24+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_giveback
[6008+20+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_interrupt
[60627+21+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_reset_interrupt
[52323+27+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_resume
[67815+18+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_start
[37063+17+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_stop
[39572+16+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_gadget_suspend
[67628+19+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_process_event_buf
[62423+22+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_process_event_entry
[61898+24+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_remove_requests
[13796+20+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_resume
[21246+11+/linux-3.18-rc1/drivers/usb/dwc3/core.c]
dwc3_stop_active_transfers
[51128+26+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]
dwc3_suspend
[20660+12+/linux-3.18-rc1/drivers/usb/dwc3/core.c]
dwc3_thread_interrupt
[63548+21+/linux-3.18-rc1/drivers/usb/dwc3/gadget.c]